181. Rational Drug Design
Author: edited by Donald G. Truhlar, W. Jeffrey Howe, Anthony J. Hopfinger, Jeff Blaney, Richard A. Dammkoehler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics.,Numerical analysis.
182. Reachability problems :
Author: Igor Potapov, Pierre-Alain Reynier (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
Classification :
QA76
.
76
.
V47
183. Real-world algorithms :
Author: Panos Louridas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Popular works.,Computer programming, Popular works.,Computer algorithms.,Computer programming.
Classification :
QA76
.
9
.
A43
L67
2017
184. STACS 87 :
Author: edited by Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Computer science.,Computers.
185. Semantics for concurrency :
Author: [edited by] M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems -- Parallel programming,Parallel programming (Computer science)
Classification :
QA76
.
6
E358
1990
186. Sequential and parallel algorithms and data structures :
Author: Peter Sanders, Kurt Mehlhorn, Martin Dietzfelbinger, Roman Dementiev.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Computer network architectures.,Data structures (Computer science),Algorithms.,Computer network architectures.,Data structures (Computer science)
Classification :
QA76
.
6
187. Static analysis: 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004: proceedings
Author: Roberto Giacobazzi )ed.(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
6
.
I5733
2004
188. Structural information and communication complexity :
Author: Zvi Lotker, Boaz Patt-Shamir (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer networks.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Operating Systems-- General.,Computers-- Programming-- Algorithms.,Digital communications.,Discrete mathematics.,Electronic data processing-- Distributed processing.,Operating systems.
Classification :
QA76
.
9
.
A43
189. Swarm Intelligence :
Author: Marco Dorigo, Mauro Birattari, Christian Blum, Anders L. Christensen, Andreagiovanni Reina, Vito Trianni (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Swarm intelligence, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Numeric Computing.,Probability and Statistics in Computer Science.,Special Purpose and Application-Based Systems.,Algorithms & data structures.,Artificial intelligence.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Expert systems / knowledge-based systems.,Mathematical theory of computation.,Maths for computer scientists.,Swarm intelligence.
Classification :
Q337
.
3
190. Swift data structure and algorithms :
Author: Erik Azar, Mario Eguiluz Alebicto.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: iOS (Electronic resource),iOS (Electronic resource),Application software-- Development.,Mobile computing-- Programming.,Swift (Computer program language),Application software-- Development.,COMPUTERS / Computer Literacy,COMPUTERS / Computer Science,COMPUTERS / Data Processing,COMPUTERS / Hardware / General,COMPUTERS / Information Technology,COMPUTERS / Machine Theory,COMPUTERS / Reference,Swift (Computer program language)
Classification :
QA76
.
774
.
I67
191. Systems programming in Unix/Linux /
Author: K.C. Wang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Linux.,UNIX (Computer file),Linux.,UNIX (Computer file),Systems programming (Computer science),Data Structures.,Operating Systems.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Data Modeling & Design.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Operating systems.,Programming & scripting languages: general.,Systems programming (Computer science)
Classification :
QA76
.
76
.
O63
W36
2018
192. The NURBS Book
Author: by Les Piegl, Wayne Tiller.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer-aided design.,Spline theory -- Data processing.
Classification :
QA224
.
B954
1995
193. The Waite Group's C++ how-to /
Author: Jan Walter [and others]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C++ (Computer program language),Object-oriented programming (Computer science)
Classification :
QA76
.
73
.
C153
W3115
1999
194. The design and analysis of computer algorithms /
Author: Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer programming.,Electronic digital computers-- Programming.,Algorithms-- analysis.,Algorithms.,Programming Languages.,Algorithmes.,Programmation (Informatique),Algorithmentheorie,Algorithmes.,Algorithms.,Algorithmus,Algoritmen.,Computer,Computer algorithms.,Computer programming.,Computer programming.,Datenverarbeitung,Entwurf,Ordinateurs-- Programmation.,Programmierung,Software.
Classification :
QA76
.
6
.
A36
195. The making of a new science :
Author: Giorgio Ausiello.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- History.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
QA76
.
17
196. Theoretical computer science :
Author: edited by Lian Li, Pinyan Lu, Kun He.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer science.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Image processing.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA75
.
5
197. Theory and Design of Digital Computer Systems
Author: by Douglas Lewin, David Noaks.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Microprogramming.
Classification :
TK7888
.
3
B936
1992
198. Tools and algorithms for the construction and analysis of systems :
Author: Dirk Beyer, Marieke Huisman (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
Classification :
QA76
.
9
.
S88
199. Topics in theoretical computer science :
Author: Luís S. Barbosa, Mohammad Ali Abam (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA75
.
5
200. Verification and evaluation of computer and communication systems :
Author: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
Classification :
TK5105
.
5
